The US has estimated a total of 10,000 North Korean troops are in Russia. Seoul and its allies said that the number has increased to 11,000, while Ukraine has put the figure higher, at up to 12,000.