In light of recent events, here's OpenStreetMap editors discussing naming of the Gulf of Mexico
(community.openstreetmap.org)
Yeah I feel like there needs to be a huge asterisk by name declarations that, while formal/official in the barest sense, are blatantly arbitrary.