marininfanteriet räknar 15 245 man.