“Potential U.S. military options against Iran include limited attacks on infrastructure and a special forces operation to extract highly enriched uranium.”