Det tillägges , att 3,000 manmarin-infanteri