What were the Chileans chanting?

I recognized the Chi Chi Chi Le Le Le, but what was the rest?

Los mineros libre, viva Chile. Rougly, “The miners are freed, long live Chile”.

Missed edit window, and this is a pointless post, but I meant “roughly”. Can’t allow such a typo from myself…

I thought it was something about now going to Disney World.

Chi Chi Chi Le Le Le is a war cry, particularly during soccer matches, when our national team play against foreigners at home. It simple means naming the letters of “Chile” and saying “Live Chile!”