A Naval Biographical Dictionary/Dutton, Thomas