does anybody know the song coal loading johnny?if so who sings it?