I heard about the shark attack on a 14 yr. old girl and she died.
I hadn't heard who it was; thanks for that info. I have family there and so was paying attention.