20171109 business.international-business: Shell Enchilada oil platform in Gulf of Mexico shut after fire