Pico Bejenado :: the caldera ridge from Roque de los Muchachos to Pico de las Nieves