the sea of jeju island, Korea