marin-infanteriet räknar 15,245 man.