Text this: Personal electric deterrents can reduce shark bites from the three species responsible for the most fatal interactions.