Leak shuts down Shell’s Ho-Ho pipeline