Russia has supplied air defence missiles to North Korea in exchange for sending its troops to support Russia’s war efforts against Ukraine, a top South Korean official said Friday.

The US, South Korea and Ukraine say North Korea sent more than 10,000 troops to Russia in October, some of whom have recently began engaging in combat. It has been unclear what Russia would give North Korea in return.