Comment by williamdclt

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.