A Naval Biographical Dictionary/Cole, William John