Colonial—, en el distrito de Lima.