A Naval Biographical Dictionary/Brigstocke, Thomas Robert