So I Checked CNN's N. Korea coverage...