(http://www.justmaps.org/asia/korea).의 아시아 지도(한국)에는 sea of japan으로 기록되어 있다.