Der Surfer starb bei einer Hai-Attacke.