Russia-DPRK defense pact: Cold War redux