A Naval Biographical Dictionary/Hall, Henry John