“The settlement of President Trump's lawsuit against the IRS was timed to avoid a court deadline where the parties would have had to justify the existence of a 'case or controversy'.”