Dozens of Florida laws reference the Gulf of Mexico. Why changing its name might not be so simple
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.