How much money did the department of defense lose last year?