Family and friends of a 12-year-old boy mauled by a shark during an afternoon swim with friends on Sunday have given a grim ...