of 9000 man PortugisisktInfanteri