What a great story. Children can really warm the heart, can't they? I believe he is referring to a children's song called something like "Big Rock Candy Mountain" but I could be wrong. Thanks for sharing that, made me smile!
Whoops, I just saw the previous post - that it is from the Willy Wonka with Johnny Depp - I never saw that version, I'll have to add it to my list!