The ridge to the summit of Cerro Vallecitos