The Trump administration shrank the federal work force by about 220,000 workers through November, representing about a 10 percent cut, according to new data that offers the first clear view of the ...