But Copa Libertadores is football, not music. Unless there's a fan song that's been composed by someone named Oscar Navarro. I'm not finding immediate confirmation. Maybe the user mixed up terms. Alternatively, could "libertadores" refer to a different context, like a group of liberators in historical terms, and Oscar Navarro composed a piece about that?