I wonder if these NK troops were worth the bother. Maybe this was a favor to the NK govt. The Korean language is said to take 2200 hours to learn proficient compared to 1100 for Russian.
I heard that Russian and Mandarin are so hard to learn that Russians and Chinese learn poor English when they have to work together.