“The JCPOA permitted Iran to maintain a stockpile of up to 300 kilograms of uranium enriched to a maximum of 3.67%.”