A Naval Biographical Dictionary/Henderson, John (c)