fälttåg af 10 å 15,000 man spanska trupper emot Riffpiraterna.