Trump and Musk are firing federal workers en masse. Efficiency isn't the goal.