This from usatoday.com:
Surfer recounts fatal shark attack in Fla.
DESTIN, Fla. (AP) ? The beaches of northwest Florida opened swimmers Sunday, despite a deadly shark attack that killed a 14-year-old girl on Saturday.
Beachgoers walk along the shore near the Camping on the Gulf Campground in Destin, Fla.
Mari Darr-Welch, AP
A surfer who tried to rescue the girl provided some details on the attack.
Tim Dicus was surfing when he heard the scream. He turned and saw a girl swimming as fast as she could ? and another one face down in a bloody circle of water. Dicus, 54, paddled over to the wounded 14-year-old girl, who had been swimming on a boogie board about 100 yards offshore.
"Right next to her was the shark, about to come up and attack her again," Dicus said. He put the girl on his surf board and the shark ? which appeared to be a bull shark about 8 feet long ? went after her hand.
"He just followed us right to the beach," Dicus said. "He was determined to finish lunch. I hate to put it that way, but that was what he was trying to do."
The girl was bitten on the thigh, and was taken to a hospital where she was pronounced dead, said Walton County Sheriff's spokeswoman Donna Shank.
Her name wasn't immediately released, but officials said the girl was on vacation from Gonzales, La.
Dicus said he punched the shark on the nose as it tried to attack him. Two other swimmers came with a raft, which they put the girl in and towed to shore.
Jeff White, 49, of Atlanta, said his son was in the raft.
"He said at one point, the shark was underneath them," White said. "So they stopped paddling. Somebody distracted the shark and they brought the girl the rest of the way in."
White said his son, Chris White, 23, told his father that "she probably may have already been gone before they got her to shore."
The attack happened near the Camping on the Gulf Holiday Travel Park, about 45 miles east of Pensacola on the Florida Panhandle.
Patrick O'Neill, the campground's general manager, refused to comment.
Authorities closed about 20 miles of beaches to swimming shortly after the attack. It's the height of the summer tourism season along the coast and the beaches were packed with people.
"It was a bad attack," said George Burgess, curator of the International Shark Attack File located at University of Florida. "Certainly it was a reasonably large shark."
Burgess, who was heading to the scene to investigate, said it was the first shark attack of any kind recorded in Walton County.
"It's not a renegade shark looking for humans," Burgess said. "Probably it was a one shot deal and it's not likely to attack again."
Twelve-year-old Robert Goodwin, of St. Louis, Mo., said he was in the gulf during the attack and ordered out of the water. His father, Mark, said the family comes every year and "it was just an eerie feeling to see folks sitting there on the beach" instead of swimming.
Florida had the largest number of documented shark attacks worldwide in 2003 with 30, according to statistics compiled by the American Elasmobranch Society and the Florida Museum of Natural History. There were 12 attacks off the coast of Florida last year.