Since I hate sharks so much, whenever I read anything about them dying, I'm always secretly happy. However, there's also a logical part inside me that tells me it's not right that they're being killed.
It sucks that their equipment malfunctioned, but this kind of thing is preventable if the zoo pays enough attention. They should probably be doing some thorough checks of their systems right about now...