Why Trump Doesn’t Have to Do Anything to Stop Iran’s Gas Plans