Trump wasn’t under IRS audit