“Potential U.S. military options against Iran include limited attacks on infrastructure, a special forces operation to extract highly enriched uranium, or an operation to reopen part of the Strait of Hormuz.”