“North Korea's total annual economy is estimated to be around $25 billion.”