A Naval Biographical Dictionary/Hardy, Thomas