Sebuah peta Prancis tahun 1723 yang mencantumkan wilayah laut sebagai ' Mer de Coree' (Laut Korea).