Today's INSIDER looks at the repercussions of DOD scaling back a recently awarded cloud contract, the reason behind a smaller Navy-Marine Corps unfunded list, talks between North and South Korea, a Navy aircraft carrier buy, and the nomination of the next CYBERCOM chief.