Thanks! I'd forgotten that thread. The reference to Walton's New Treasury is probably the answer to my question. Curiously enough, the song is not in my copy of the original Treasury (1947). I should be able to get a copy without too much difficulty. Alternatively, can anyone transcribe it for me?