How is it the "official name" even for en-US? Trump isn't the be all and end all of naming things. Every single rational, thinking person in the USA, and many, many people who aren't so rational (Trump voters), still call it the Gulf of Mexico and always will. Official, my ass.

The early proposal of alt-name: en-US=Gulf of America seemed the most logical.

Holy hell, I hate this cursed timeline.