“The Defense Department published a congressionally mandated, unclassified report on the Military and Security Developments involving the Democratic People’s Republic of Korea today. The report is posted at http://www.defense.gov/pubs/North_Korea_Military_Power_Report_2013-2014.pdf.”