20170912 business.international-business: Shell restarting Deer Park; Texas; JV refinery -sources