Mammoth Cave National Park, Mammoth Cave, Kentucky. County/parish: Edmonson.
Added to the National Register of Historic Places May 08, 1991. NRIS 91000494.
2 contributing buildings.Also known as:
National Park Service documentation: https://catalog.archives.gov/id/123846327