For nearly half a century, there’s been little thought about the name Congress gave to the Gulf of Mexico Fishery Management Council — until now. On Monday, President Donald Trump signed an order to rename the waterbody to the “Gulf of America” on federal agency maps, contracts, and other documents and communications.

Mexican president says President Trump can call the gulf whatever he wants but that the world will still call it the Gulf of Mexico.