In 1974, two cave explorers from Tucson discovered near Benson what they called Xanadu. Eventually, their Xanadu became Kartchner Cavern but as Christopher Conover explains the state park didn't become a reality overnight.

Kartchner Caverns State Park

Kartchner Caverns: How Two Cavers Discovered and Saved One of the Wonders of the Natural World UA Press