. . . . "North Korean social democrat" .