Eleanor Worthington Cox is best known for her role in this musical based on a children's novel written by who