“Under the JCPOA, concrete was poured into the core of Iran's Arak heavy water reactor to prevent it from being used for a plutonium pathway to a nuclear weapon.”