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.

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.

A supermajority of Americans don’t approve of renaming the Gulf of Mexico to the “Gulf of America,” according to the results of a new poll. Around 70% of respondents to the latest Reuters/Ipsos survey opposed the move, with 25% of respondents supporting it. The rest were unsure.