Wow that's quite a story... I guess that swimmer is lucky the shark didn't attach itself somewhere more um.. harmful.