No, wait: I can hear this song in Pete Seeger's voice. I was very young when Pete sang songs in our living room, so I don't know for sure if this is imagination or memory, but I think it more likely now that papa learned this song from Pete rather than Ernie.