The DOGE budget-cutter