This is actually the peak across the road from Cerro Castellan. I assume it has a name but don't know what it is.