A Naval Biographical Dictionary/Eden, Henry (b)