A Naval Biographical Dictionary/Hodgskin, Thomas