Evolution of the eastern margin of Korea: Constraints on the opening of the East Sea (Japan Sea)