. . . . "Bay of South Korea" . .