“Iran possesses a stockpile of 440 kilograms of highly enriched uranium, some of which is located at its underground Fordow facility.”