I’d take the 125,000 IRS agents and a couple hundred thousand apparatchiks from other useless agencies and send them to fight ISIS.
Our military makes peanuts compared to most of the six figure income FEDGOV workers, let them REALLY earn that money.
Half of the apparatchiks would sooner join ISIS than fight them.