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.

Google Maps will rename the Gulf of Mexico to the Gulf of America and Mount McKinley to Mount Denali following President Trump's executive order last week. When the name change takes effect, people in the US will see the updated names, whereas the rest of the world should see both names.

The U.S. government is already working to remove all mentions of the Gulf of Mexico name in the Geographic Names Information System (GNIS).