what is the song they are singing all along the movie?

This nonsense about Columbus and the discovery of America ...
Is it a popular refrain-song , or has this just been invented for the film?
Anybody could post the text?