Domingo Ramírez, militar.