“Iran's nuclear enrichment program has been set back by months or years, and may be "effectively done" as a deterrent.”