Can Ted Cruz Save Us From North Korea?