I was curious about Open Street Maps, since anyone can edit it.
Gulf of America comes up specifically as an official name for US, and there is also a note about how if you change the English name without agreement in the discussion then it will be reverted:
It seems the general consensus is that the US have that as an official name, but it’s not the common English name so name:en stays as the Gulf of Mexico.
I was curious about Open Street Maps, since anyone can edit it.
Gulf of America comes up specifically as an official name for US, and there is also a note about how if you change the English name without agreement in the discussion then it will be reverted:
Discussion is here: https://community.openstreetmap.org/t/gulf-of-america-gulf-of-mexico/124571
It seems the general consensus is that the US have that as an official name, but it’s not the common English name so name:en stays as the Gulf of Mexico.
I was very happy to open up organic maps and see it still listed as Mexico.
I’m still trying to get out of Google maps.
OSM ftw