The tide of the Korean sea