20171011 business.international-business: Shell's Deer Park; Texas refinery restarting small crude unit -sources