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 Associated Press, which provides news around the world to multiple audiences, will refer to the Gulf of Mexico by its original name, which it has carried for 400 years, while acknowledging the