A Naval Biographical Dictionary/Eden, Henry (a)