What should Chris Christie have done to balance N.J.'s budget?