In der englischen Wikipedia firmiert der 'Gulf of Mexico' immer noch unter dieser Bezeichnung. Der Grund dafür: entscheidend ist, wie ein Ort überwiegend bezeichnet wird - und nicht, wie wer auch immer findet, dass er genannt werden sollte: https://en.wikipedia.org/wiki/Wikipedia:Naming_conwventions_(geographic_names) 6/7