Federal changes have to be made, but other countries and private companies can keep using "Gulf of Mexico." Here's why.

Florida Gov. Ron DeSantis has already embraced the change. He cited the new name in an executive order earlier this week ...