Trump IRS lawsuit set for settlement using taxpayers' money