Oh boy, Bingley!! Lots of action on this one, I'll bet. My comment is, Don't spend time on the surface - note that the shark bit guy was swimming, not scuba diving. Attacks on submerged scuba divers are far less frequent than on those on the surface.
Make as little noise and commotion as possible. Get in and out of the water as quickly and quietly as possible.
Be observant, both you and your companion (s). Watch the actions of wildlife around you...
I spent time diving off Point Bennett, San Miguel Island, AKA "Shark Park," due in great measure to the abundant pinnipeds (seals et al) that colonize there. We got in and out quietly and with great alacrity, paying close attention to the activities of the abundant seals around us, who would occasionally approach us and tentatively nibble on our swim fins, just for kicks. But they never sped for the beach, which would have been a bad sign.
In four days of intensive diving, we completed our study of a great shipwreck that was our purpose. I understand Cal Fish and Game prohibits their divers from entering those waters. Too bad, there is real interesting stuff there.
I understand that if you are attacked, your last gesture of defiance should be to bob Mr. Shark right on his nose (good luck with that). Evidently that will cause him to lose interest right away.... Some folks carry bang sticks and there are instances where they have worked, so the story goes...
_________________________
Geezer in Chief