A Naval Biographical Dictionary/Cock, Robert