Google says it will take its cue from the U.S. government if it has to change the names of the Gulf of Mexico and Denali on its Maps service.

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.

Google Maps will change the name of "Gulf of Mexico" to "Gulf of America" once it is officially updated in the U.S. Geographic Names System, Google said in an X post on Monday.