How many channel swimmers or ocean swimmers in a competitive race have been attacked by a shark?