flottan har företrädesrätt vid dockans begagnande för sina fartyg.