朝鮮海（日本海）
大日本海（大西洋）
ローカルネームなんだから
探せば、いろいろあるよ。


国際的に日本海 sea of Japanって呼ぶようになった。