la capital del distrito es Santiago de Chocorvos.