Iran shipped billions in oil during its cease-fire with the U.S.