Pentagon says Iran war has cost $25 billion so far