I asked the supplier if they could do the 19mm the other way round and they've now listed these:

Aliexpress.com : Buy 4 pins push pull circular quick connector 16mm from Reliable connector suppliers on Shande Electric Factory

I'll ask if they can do the same but 19mm...