“Russia has provided an estimated $16 to $20 billion in aid to North Korea in exchange for weapons.”