för högsle chef och utnämnt general Castillo till republikens president.