Shell shuts down Bengal pipeline after small leak, more news