Marcelo Rocha Santos starb bei einem Hai-Angriff.