“It is possible that there are now more than 3,000 troops from North Korea that have been dispatched to Russia for outfitting and for training.”