Google announced that it was planning to rename the Gulf of Mexico and Denali in its Google Maps service, following President Donald Trump’s executive order last week officially renaming the geographical features to the “Gulf of America” and “Mount McKinley.”