Such a weird thing for everyone to fixate on and lose their shit. Let our dumbass en-US selves do whatever "official" dumbass thing we have to with the name.
Everyone else can leave it what it always was.
Next time there's a Democrat U.S. President, the "en-US" term will be changed back to Gulf of Mexico.
This is stupid.