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.
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 ...