Markets | Tue May 14, 2013 6:21pm EDT

UPDATE 4-Pentagon, short on cash, puts civilians on unpaid leave