armé öfverskickades till Portugals försvar.