What was the first shark attack recorded?

1563