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.