Mapmakers and teachers are re-thinking what to call the gulf of water between Mexico, the United States and Cuba after President Donald Trump ordered it renamed from the Gulf of Mexico to the Gulf of America.

Part of a legal description of a boundary line of Dixie County, for instance, says it goes "southerly down the thread of the main stream of said Suwannee River to the Gulf of Mexico; thence along said Gulf of Mexico, including the waters of said gulf within the jurisdiction of the State of Florida, to the mouth of the Steinhatchee River."

President Trump may have signed an executive order this week to officially rename the Gulf of Mexico, but it was Stephen Colbert who first proposed the idea some fifteen years ago (and we've got the 'Colbert Report' clip to prove it).

The Coast Guard has announced it will be sending “aircraft, boats and deployable specialized forces” to the “Gulf of America” in an effort to curb illegal immigration and the flow of drugs. The move comes following President Donald Trump’s executive order that changed the name of the Gulf of Mexico to the Gulf of America.

The Coast Guard will surge additional resources to the “Gulf of America” and several other locations, the service said in a statement Tuesday, after the Trump administration sacked its top admiral and alleged that she had failed to prioritize the security of U.S. borders.

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.

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.

Part of a legal description of a boundary line of Dixie County, for instance, says it goes "southerly down the thread of the main stream of said Suwannee River to the Gulf of Mexico; thence along said Gulf of Mexico, including the waters of said gulf within the jurisdiction of the State of Florida, to the mouth of the Steinhatchee River."

Renaming it the Gulf of America would apply only in the US. And the long global history of disputed place names suggests it could be a brief experiment anyway.

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

Federal changes have to be made, but other countries and private companies can keep using "Gulf of Mexico." Here's why.