Has anyone been eaten by a whale shark?