Dok Kim, Korea, Democratic People's Republic of