Western officials estimate that North Korea has sent at least 10,000 soldiers to help Moscow as both countries boosted their military ties in the face of US-imposed sanctions.