“The direct cost of the Iran war to the US federal budget has exceeded $25 billion.”