Kyrylo Budanov of Ukraine’s HUR stated that nearly 8,000 North Korean soldiers continue to fight