“As part of the 2015 JCPOA, Iran agreed to ship out or blend down its excess low-enriched uranium, resulting in approximately 25,000 pounds of the material leaving the country.”