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