Der Schwimmer wurde von einem Hai verletzt – um welchen Raubfisch es sich handelt, ist nicht noch nicht bekannt.