Did the Koch brothers write the budget deal?