Ted Galen Carpenter and Doug Bandow on the trouble with North Korea