marinens styrka i fredstid är 539,147 man.