The Geographic Names Information System database changed the name of the Gulf of Mexico to the Gulf of America earlier this week. It came after President Donald Trump's executive order on his first day in office calling for the change and the Department of the Interior's adoption of the new name last month.

Map users in the U.S. will see the new name, while users in other parts of the world will see both when looking at the waters bordering the southern U.S.

Mexican President Claudia Sheinbaum said Trump's decree is restricted to the “continental shelf of the United States” because Mexico still controls much of the Gulf.