Ron DeSantis signed two bills that renamed the gulf in state law and public school textbooks. A few months ago, I wrote a ...