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

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.