While we are at it, I was looking at https://wiki.openstreetmap.org/wiki/Multilingual_names and it says
Always add name:code=* for each involved language, and for compatibility with older rendering engines, also set name=* to both names, separated by a forward slash with spaces in between, sorted in (a somewhat neutral) Unicode alphabetical order.
Given this rule, shouldn’t the default name tag for the gulf of mexico be “Gulf of Mexico / Golfo de Mexico”