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,

The order Trump signed instructs the Interior Department to update the Geographic Names Information System to reflect the renaming of the Gulf and remove all references to the Gulf of Mexico. It says all federal references to the Gulf of America, including on agency maps, contracts, and other documents and communications shall reflect the renaming.

The deployment was ordered after the Trump administration signaled its intent to rename the Gulf of Mexico and moved quickly to fire the Coast Guard commandant.

Florida lawmakers and DeSantis could have a way to update state laws to change references from the Gulf of Mexico to the Gulf of America. The Legislature regularly passes what are known as "reviser's bills" that do such things as change terms in laws.

Gov. Ron DeSantis may have been the first official to use President's Trump's new name for the Gulf of Mexico in an official capacity.

President Donald Trump ordered the Gulf of Mexico renamed, and Gov. DeSantis officially refers to it in a state document.

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

The most important thing in any name is not what some official institution or a collection of old maps says. Spontaneous order tends to rule the day.

After President Donald Trump issued an executive order to change the name of the Gulf of Mexico to the Gulf of America, Florida Gov. Ron DeSantis quickly jumped on the idea. But actually making

The potential name change is more likely to spread confusion than awe —  especially if the same body of water is called different names by different countries.

Rep. Dan Crenshaw (R-Texas) urged Apple to officially change the name of the Gulf of Mexico on its mapping platform following President Trump’s Monday executive order declaring the land mass the