The famous Cerro Castillo itself