DOGE 确实削减了联邦劳动力。