Summary
Google Maps will rename the Gulf of Mexico to the “Gulf of America” for U.S. users following a U.S. government decision.
The U.S. Department of Interior recently announced the official name change, implemented by the Board on Geographic Names.
Google stated it updates names based on official government sources.
The name will remain “Gulf of Mexico” in Mexico and display both names elsewhere globally.
This change stems from an executive order by Trump, who also reversed the 2015 renaming of Alaska’s Denali to Mount McKinley.
OSM also uses localized names for places. So there might be name changes happening there as well.
Not sure exactly how they do it for international names, they probably have a system, but if Trump starts renaming towns and states in the US like “State of Pu**ygrab”, “State of Hillaries-emails” or whatever, everyone has to adapt, in order to not be disrespectful of the people and culture of the united states as is making any kind of fun about these cultural and historic differences. People from outside just do not understand them and their need to validate their place in the world as deeply as the people living there.