Koh, Youngran, Korea, Democratic People's Republic of