Florida became the first state to enshrine the “Gulf of America” into law after President Donald Trump proclaimed the new name for the body of water via executive order in January.

Trump changed the Gulf of Mexico to the Gulf of America shortly after taking office. Gov. Ron DeSantis (R-FL) signed legislation into law Monday that changes references to the Gulf of Mexico in state law to the Gulf of America. DeSantis signed another bill that puts the new name for the body of water in educational materials for state schools.