Go look on Google Maps.
No more Gulf of Mexico. It's now shown as Gulf of America for US-based users.
https://www.cnn.com/2025/02/11/busin...ntl/index.html
Soon they will also change Denali to Mt. McKinley, its original name. Obama changed it to Denali in 2015, in a woke move to please natives there.
I saw the mountain twice -- once in 1995 as McKinley, and once in 2018 as Denali. Same mountain, obv.
In the 2018 visit, it was in the clouds the entire time, but near the end of the bus ride back, it cleared up, and we got to see it. Also on the way back, I got to quickly see some ptarmigan -- my only time seeing that elusive bird I've been looking for on various trips, but never otherwise finding.