A Naval Biographical Dictionary/Hall, John (a)