A Hawaiian's tried-and-true advice for avoiding a shark attack