Trump's new decree: Google Maps to rename 'Gulf of Mexico' to 'Gulf of America' and return old name to Mount Denali

Google has announced that it will soon change the names of the Gulf of Mexico and Mount Denali in Alaska in Google Maps. This will happen after these changes are made to the official US federal mapping database, in accordance with Donald Trump's executive order.
Here's What We Know
The company said it will comply with the new executive order signed last week, which changed the names of several important geographical locations in the country.
The decree was supported by the US Department of the Interior, which stated that the name changes have become official and the relevant mapping authorities are working on their implementation. Google noted in its announcement that it has a long-standing practice of updating names based on official government sources.

Gulf of Mexico Illustration: Reuters
The Gulf of Mexico will be called "America's Gulf" for Google Maps users in the United States. This is a brand new name that was introduced by the Trump administration.
As for Mount Denali, the highest peak in North America, Google Maps will once again show it under its old name, Mount McKinley. The name was changed to Denali during the Obama presidency in 2015. However, the Trump administration decided to return the old name, despite the protests of some Alaskan senators.
The change will be reflected in Google Maps when the official GNIS place name database is updated. However, users in Mexico will not see the new name "Gulf of the Americas", as for them the Gulf will retain its traditional name. In other countries, both the American and Mexican names will appear on the Google map.
Source: @NewsFromGoogle