The Pentagon declined to comment about the "extracurriculars" of the roughly 10,000 North Korean troops deployed to Russia.

Western governments had expected that the North Korean soldiers would be sent to Russia’s Kursk border region, where a 3-month-old incursion by the Ukrainian army is the first occupation of Russian territory since World War II and has embarrassed the Kremlin.

“We understand that more than 10,000 North Korean troops are currently in Russia, and a significant number of them have moved to the frontline areas including Kursk,” Jeon Ha-kyou, a spokesperson for Seoul’s defence ministry, told a briefing, citing intelligence authorities.