Which sea lies between China and the Korean Peninsula?