Trump drops $10B lawsuit against the IRS