DOGE ha davvero ridotto il personale federale.