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 is sending additional resources to at least four other maritime borders as well, including waterways around Florida.

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.

A computer search of Florida laws shows at least 55 statutes include references to the Gulf of Mexico, while local-government ordinances also are tied to the traditional name.

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.

Florida Gov. Ron DeSantis has already embraced the change. He cited the new name in an executive order earlier this week attributing inclement winter weather to a “low pressure moving across the Gulf of America.

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.

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

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

Mexican President Claudia Sheinbaum has an answer for President Donald Trump about his idea of renaming the Gulf of Mexico to the “Gulf of America:” he can call it whatever he wants on the American part of it.

Among the first executive orders signed by President Donald Trump was an order to rename the Gulf of Mexico to the newly named "Gulf of America." "President Trump is bringing common sense to government and renewing the pillars of American civilization," the newly inaugurated president's executive order said.