A Naval Biographical Dictionary/Hodgkinson, Thomas