I guess the Gulf of Mexico is different from Denali in that it’s outside of the US, so I’m not sure how that’s decided. I guess American map makers (or anyone localising for the US) will use Gulf of America, while everyone else will continue using Gulf of Mexico.
FWIW, it’s still Gulf of Mexico in my Google Maps, and so is Denali (using it from Australia).
I guess the Gulf of Mexico is different from Denali in that it’s outside of the US, so I’m not sure how that’s decided. I guess American map makers (or anyone localising for the US) will use Gulf of America, while everyone else will continue using Gulf of Mexico.
FWIW, it’s still Gulf of Mexico in my Google Maps, and so is Denali (using it from Australia).