summit of Pico mountain