Lagoa Verde das Sete Cidades, caminhada