US debt ceiling deal strands $16 billion of defense side-projects