President Donald Trump's recent executive order to rename the Gulf of Mexico as the Gulf of America has thus far elicited a lot of snickering and not much else.

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.