wait, this means that the Biden administration could have unilaterally renamed “Florida” to be whatever they wanted? and they just passed up that opportunity? https://www.cnbc.com/2025/01/27/google-maps-to-show-gulf-of-america-after-government-updates.html