OMB’s Mulvaney: Trump may veto tax bill with 401(k) cuts