>>416
ニックネームと同じだろ。誰かがつけてそれが広まった。日本海だって最初は朝鮮海やら日本海やら種々の名前で呼ばれていたけど、
数百年かけてこの海域を使う人達が自然と日本海だけを使うようになったに過ぎないからね。
そうして一度決まったものを変えるなんてよっぽどでないと無理だろ。