A Naval Biographical Dictionary/Henderson, David