A Naval Biographical Dictionary/Hockin, Henry