Se conoce también localmente, en Corea del Sur, con el nombre de mar del Oeste.