Ted Galen Carpenter discusses North Korea on WDRC’s The Brad Davis Show