On this day: Mick Fanning survives Shark attack