Los agentes oficiales hicieron su trabajo: resultó electo el general Reina Barrios.