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