folk samt 12,000 man Marin-infanteri.