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.”

The Gulf of America and Mount McKinley will soon appear on Google Maps to reflect President Trump’s decision to rename the two topographical features, the company announced Monday. The navigation mainstay will make the changes as soon as the Department of the Interior updates the Geographic Names Information System, Google said.