The user is asking about the Ribeira Seca - Ribeiro Frio levada walk in Madeira. This is a hiking trail question, so I should use the find_hikes tool to get official information about this trail. Let me search for this specific trail.The search for "Ribeira Seca Ribeiro Frio" returned no results. Let me try a broader search - maybe the trail is known by a different name or PR code. Let me try searching with just part of the name.The user is asking about the "Ribeira Seca - Ribeiro Frio" levada walk. This doesn't match any official PR trail exactly. Let me look at what I found: 1. The first search for "Ribeira Seca Ribeiro Frio" returned no results 2. The search for "Ribeira Seca" returned community trails (not official PR trails): - "Vereda do Larano - Boca do Risco - Pico do Furado - Pico da Coroa" (hard, 10km loop) - "Ribeira Seca - Boca do Risco" (moderate, 4.8km out and back) 3. The search for "Ribeiro Frio" returned official PR trails: - PR 11 Vereda dos Balcões (Easy, 1.5km) - PR 10 Levada do Furado (Moderate, 11km) The "Ribeira Seca - Ribeiro Frio" walk the user is asking about appears to be a community/unofficial trail that isn't in our official PR database. It's not one of the community trails returned either - those are "Ribeira Seca - Boca do Risco" and "Vereda do Larano". Let me search more specifically for this trail name.The user asked about the "Ribeira Seca - Ribeiro Frio" levada walk. After searching, there's no official PR trail with that exact name. However, there is a community (unofficial) trail called "Ribeira Seca - Boca do Risco" and the official trails starting from Ribeiro Frio are: 1. **PR 10 - Levada do Furado** (Ribeiro Frio → Portela) — 11 km, moderate, 5 hours 2. **PR 11 - Vereda dos Balcões** (Ribeiro Frio → Balcões) — 1.5 km (+ 1.5 km return), easy, 1:30 hours The user's query mentions "Ribeira Seca - Ribeiro Frio" which doesn't match any official PR trail. There's no official PR trail connecting Ribeira Seca to Ribeiro Frio or vice versa. However, looking more carefully — "Levada da Ribeira Seca" or "Ribeira Seca - Ribeiro Frio" may refer to a community/unofficial route. Let me check if there's an AllTrails community trail matching that name. From the search results, I found: - "Ribeira Seca - Boca do Risco" (community trail, 4.8 km, moderate, 4.3★ from 55 reviews) - "Vereda do Larano - Boca do Risco - Pico do Furado - Pico da Coroa" (community trail, 10 km, hard, 4.1★ from 202 reviews) Neither of these matches "Ribeira Seca - Ribeiro Frio" exactly. The most likely interpretation: the user might be thinking of **PR 10 - Levada do Furado**, which starts at Ribeiro Frio and goes to Portela. The Levada do Furado is sometimes associated with Ribeira Seca because the levada channel eventually feeds into/waters the Ribeira Seca area. Or they might be confusing it with another walk. Actually, let me reconsider. There might be a less-known route or the user might be referring to a section of a longer trail. But based on my tool results, there's no official PR trail called "Ribeira Seca - Ribeiro Frio." The closest official trails starting at Ribeiro Frio are PR 10 (Levada do Furado) and PR 11 (Vereda dos Balcões). I should tell the user that there's no official PR trail with that exact name, and offer what's likely the closest match — which is probably PR 10 Levada do Furado, since it starts at Ribeiro Frio and is the most well-known levada walk from that area. I should also mention the community trail "Ribeira Seca - Boca do Risco" since it at least involves Ribeira Seca. Let me present thisclearly.