Mammoth Cave National Park, Mammoth Cave, Kentucky. County/parish: Edmonson.
Added to the National Register of Historic Places May 08, 1991. NRIS 91000495.
Part of Mammoth Cave National Park MPS (NRIS 64500237).
1 contributing building.Also known as:
National Park Service documentation: https://catalog.archives.gov/id/123846333