. . . . "Strait of South Korea" . .