After President Donald Trump on Monday issued an executive order to rename the Gulf of Mexico as the Gulf America, Florida Gov. Ron DeSantis jumped on the idea. In an order he issued about this week’s ...