marinens högste befälhafvare tillsättas.