Last year, North Korea dispatched about 10,000 troops to Russia to support Moscow’s military campaign.