What happens if Trump pulls out of the Iran deal?