昔の地図を見ても、”大韓海”や”朝鮮海”って表記が一般的。
http://pds13.egloos.com/pds/200901/14/91/a0101091_496dddf61ddea.jpg
http://www16.tok2.com/home/otakeshimaoxdokdox/SeaOfJapan/BroughtonBayGulfOfKoreaKoreanGulf.files/image068.jpg