View from Pico Ruivo: the military radar on Pico de Arieiro