In GIS, there are Places (POIs) and there are names but there are also historical names and local names. A lot of whatever streets in tiny towns around the world have dozens of alt names. As long as some news paper or town or historian called it that at some point in history, mapping companies capture it and store it under the place ID.

So what if the display of Gulf of Mexico from IP Addresses in USA says Gulf of America? Okay, that’s a bit insensitive but my point is everywhere else in the world, it will correctly display Gulf of Mexico and if someone searches it anywhere in the world, it will return a result of that boundary area.

Until the next administration rescinds the Executive Order, it’s not unusual for an American company to comply with a place name change but that name may only display in certain geographies and the old name will still work.

If you want further reading: wiki.openstreetmap.org/wiki/Hist… wiki.openstreetmap.org/wiki/Map_…