Etiqueta: mayor general Manuel Castro Castillo; el procurador general de la República