Oh no, does that mean Mammoth Cave won't be the world's largest anymore? Poor Kentucky. At least it will be America's largest. To think we lost out to Nam.
They'd better be careful exploring that thing, in case they end up like those girls in the Descent.