To answer your question, I think you are looking for Diamond Caverns Camp Ground in Park City, Kentucky. It is part of the Family of Thousand Trails/Encore Resorts. It is part of the Mid-Atlantic Group. Located at 1878 Mammoth Cave Parkway in Park City, KY 42160. The Ranger Station is at 270-749-2891. The TT Members List of Preserves shows there are 72 Hook-up sites 19 Park Model Rentals and 44 Condos at this Property. You may want to go to Thousand Trails on the net and check this property out.
Good Luck and Happy Trails.