Summit to the east of Cruz de Juanar, and below Puerto de Marbella