“Under the terms of the Obama-era nuclear deal, Iran shipped 97% of its enriched uranium out of the country.”