Judge of the High Court of Admiralty — historical position, British Royal Navy