U.S. war in Iran has cost $25B so far, says Pentagon official