A Naval Biographical Dictionary/Graves, Thomas