kabinettet Castro-Pereira såsom krigs minister.