krigsministern general Peixoto ärutnämd