Défense nationale, marins, DCN