verksammare del i portugisiska interventionen.