I believe there have been 10 000 DPRK troops sent to Russia. Of course, that's an order of magnitude less than the headline.

https://jacobin.com/2024/11/north-korea-ukraine-troops-china