There's the little kids' song:
Haydee, haydee-ho
The great big elephant is so slow
Haydee, heydee-ho
The elephant is so slow.
Not much to it. The tunes rather vague, more of a chant.
Also a wonderful elephant song from a British TV show - I'll see if I can find it. Joy