Destin resident Karin Chipman shared these photos of a hammerhead shark corralled by the tail at Henderson Beach State Park Monday with The Log. She said the shark was grabbed by a group of beachgoers at about 3:30 p.m.



"As you can imagine, there was a pretty large crowd," she wrote. "For the most part, people were just calmly taking pictures."



Chipman said after the men grabbed the shark, some people were calling for them to let it go, which they did after about 5-10 minutes.



"It was slightly disoriented, but it eventually swam off," she said.



Chipman said the hammerhead had a large hook in its mouth that appeared to be stainless steel. There was some speculation, she said, that the men who had pulled the shark in were trying to remove the hook, but she wasn't sure.



The hammerhead shark, according to the Florida Fish and Wildlife Conservation Commission website, is common to the Gulf of Mexico and typically ranges in size from 7-8 feet.



The hammerhead is "considered to be dangerous, ranking seventh in unprovoked attacks on humans," according to the FWC.



There were no injuries reported in Monday's shark event at Henderson Beach State Park.



Matt Algarin