The wonderful Korean sea