A Naval Biographical Dictionary/Henderson, John (d)