Google Maps has a history of changing place names and world borders for different users in different locations, especially during geopolitical disputes. Geographers say those changes, including the one this week,

Google Maps said it would change the name of the Gulf of Mexico to Gulf of America once it is officially updated in the U.S. Geographic Names System.

The change will only be visible to U.S. users. Those in Mexico will still see “Gulf of Mexico,” while those in the rest of the world will see both names on the map.