Gulf of Where? In the same name-swapping order, designed to take effect by mid-February, Trump declared that the Gulf of Mexico will now be known as the Gulf of America “in recognition of this flourishing economic resource and its critical importance to our Nation’s economy and its people.”

Google plans to change the name of the Gulf of Mexico to Gulf of America and that of the Alaskan mountain Denali to Mount McKinley in Google Maps, the company said Tuesday in a series of tweets. The news follows President Donald Trump's executive order to rename the body of water and mountain on his first day in office.