The Dictionary of Australasian Biography/Pullen, Admiral William John