Hyeon Jin Cho, Agency of Defense Development, Korea, Korea, Democratic People's Republic of