Russian and DPRK troops conduct a joint demining operation in the Kursk border