what is the sea south of south korea?