昔、図書館で幕末か明治時代の古地図見たんだが
日本海が朝鮮海になっててビックリした記憶ある
何時から日本海になったんだろうか