DESTIN, Fla. (WKRG) — The Okaloosa County Sheriff’s Office responded to a call in Destin on Saturday, Nov. 26 for a gun found in a pond.

The deputy said a group of local kids in Destin playing in a neighborhood on Quail Lake Blvd located the gun in the pond and reported it.

OCSO confirmed the gun was stolen out of Walton County. Walton County Sheriff’s Office said the .380 revolver was reported stolen out of a vehicle in 2017. The owner in Santa Rosa said they had not seen the weapon for 3-6 months before they reported it.

The deputy spent time with the kids after the incident to teach them about gun safety and swear them in as junior deputies.