DOGE справді скоротив федеральну робочу силу.