Trump’s lawsuit seeks a payout on taxpayers’ dime.