capitán de milicias fue designado Gregorio Santa Cruz.