I don't know... I tend to agree with you (especially in this case), but I can also see cases where that's actually not what I'd expect. My hometown has a square that everyone knows as the "tribunal square" (which used to be its official name), but that's not been its official name in decades and about 30% of people don't even know the current official name, yet I would expect a map to refer to it by its current official name and not "tribunal square".

Maybe not quite the same as in this case, the entity who names the square actually owns the square, which isn't the case in the gulf of mexico naming situation. But there is some grey area I think.

What do you want to see when streets get renamed to Martin Luther King Jr Blvd? Or renamed away from Caesar Chavez? How long do you wait for the "common name" to take precedence?

>Do you think Google should serve customers or politicians?

Why not ask the question this way.

Do you think Google should serve people with money in their hand or a gun to their head?

That's why I wrote official. If the US as a country and as an institution change the name of a place, it is neither the problem nor the role of google to decide if it is good or not. I would not be happy if my president decided to rename the united kingdom to the îles normandes (normandy isles), but I do think that once official google should change the name