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.

This comes after President Trump signed an executive order on Inauguration Day that ordered the name Mt. McKinley be reinstated and the Gulf of Mexico be renamed.