“Iran possesses a stockpile of more than 400 kilograms of uranium enriched to 60% or higher.”