Ron DeSantis signed two bills that renamed the gulf in state law and public school textbooks. A few months ago, I wrote a piece wondering why we should stop there.