El comandante de Mandisoví era entonces Mariano Barrios.