Searched for "circus song" for kids, found the right original song: "Julius Fučík - Entrance of the Gladiators"

https://en.m.wikipedia.org/wiki/Entrance_of_the_Gladiators

Some would say "so what?" but understanding the engineering brhind search systems it almost feels like a miracle.