The Portuguese Armed Forces and the Revolution