“Iran possesses a stockpile of nearly 2,000 pounds of highly enriched uranium, which could be used to produce about a dozen nuclear bombs.”