“At the time President Donald Trump withdrew the U.S. from the JCPOA, Iran was enriching uranium to a level of less than 4%.”