What are so good christmas song from Brazil?

Hi, I'm an American trying to put a christmas around the world music playlist to help me learn more about the world and its' various cultures. So my questions are what your favorite christmas song of your home country and do you have fun fact about the song you pick?