Gruta Lapa Doce é a terceira maior do Brasil