OpenStreetMaps (which is what everyone should be using) has a discussion on this - https://community.openstreetmap.org/t/gulf-of-america-gulf-of-mexico/124571/13.
Basically they added a piece saying "the US calls it this", but nobody uses it.
OpenStreetMaps (which is what everyone should be using) has a discussion on this - https://community.openstreetmap.org/t/gulf-of-america-gulf-of-mexico/124571/13.
Basically they added a piece saying "the US calls it this", but nobody uses it.