Mammoth Cave National Park n 1: a national park in Kentucky having a large cavern and an underground river