The Risk of Nuclear War with North Korea