. . . . . . . "Lake of Korea" .