I don’t know if these turtles are actually wild or stocked. (I assume the fish are stocked, but the ducks are just visiting!) But this looks like a different type of turtle than the ones I saw on a visit a couple of years later.
Identified on iNaturalist as a Florida Softshell, most likely a released pet.