Ukrainian military intelligence said on Thursday that about 12,000 North Korean troops were in Russia.