These are the connectors you can typically find on the back of stereo head units in cars, to connect the FM radio antenna.
I measured the external diameter at ~10mm.
You can easily find a ton of such products by googling "ISO antenna connector". But they all are various kind of adapters sold on alibaba or car accessories shops. I need to find some source for the mating PCB connector, but I don't know what is the "official name" of that type of connector.
There has to be an official name, though, since it seems to be an ISO standardized connector. The number of the ISO standard it adheres to would satisfy me enough.
Here is a picture: