' US Defense Workforce Shrinkage, In Numbers