“Mejores Días,” the 2010 pop song that contains a secret message from the Colombian Army