Electronic shark deterrents can save lives (of sharks too) :