A Naval Biographical Dictionary/Cole, Thomas Edmund