Amid stark warnings of a rare winter storm, the governor’s office decided it was time to endorse President Donald Trump’s proposed rebranding of the Gulf of Mexico.

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.