El DOGE realmente eliminó la fuerza laboral federal.