Teen recovering from terrifying shark attack in Gulf of Mexico

The 17-year-old was attacked by a 5-foot-long shark while swimming near a sandbar in Destin, the Okaloosa County Sheriff’s Office said in a Facebook post.

The teen was taken to a local hospital, where she received stitches, but sheriff officials described the injury as “fairly minor.”

Authorities don't know what kind of shark bite the girl, who was visiting Destin from Louisville, Kentucky, with her high school softball team, media outlets reported.

Shark attacks in the area are rare. The attack Sunday is only the fourth documented shark bite in Okaloosa County since 1882, according to the Florida Museum of Natural History.