AUSTIN, Texas — Texas is taking a step toward formally renaming the Gulf of Mexico to the Gulf of America on state maps and ...

Senate Bill 1717 would require the name of Gulf of Mexico to be changed in every official reference made by a state agency, ...