No More Learning

The Portuguese garrison           about 1000, and in addition there
were 700 or 800 native soldiers.