Types of naval officers drawn from the history of the British navy;