Last month, a 10-foot alligator attacked a 15-year-old and bit her leg while she was swimming at Pond Creek in Okaloosa County.