A Naval Biographical Dictionary/Hamilton, Thomas