日本海の表記は、ちゃんと「日本海」だった。