On top of Pico Ruivo do Paul, a peak near Estanquinhos. Not to be confused with Pico Ruivo.