原名“打鸡洞”，被称为“溶洞之王”的是( )。