. . . "Former island of South Korea" . .