Trump and Elon Musk's DOGE team face a big setback in their efforts to shrink the federal workforce