O DOGE realmente cortou a força de trabalho federal.