och i hans ställe general Gerardo Barrios blifwit utnämnd till republikens president.