Fue puesto en libertad el general (r) Antonio Rivero