till Times , att general Gonzalez utnämnts till republikens president ; den officiela röstbo- ökningen fattas dock ännu.