Portugal sammandragne tronpernes antal till 9,661 maninfanteri