Florida Redbelly Turtle, Everglades National Park