Florida red-bellied turtle in Rainbow Springs, Rainbow Springs State Park, Florida