La Corée du Nord a perdu neuf soldats dans des opérations de déminage en Russie