Cueva Juanelo, Juanelo