Tan Jianci and Song Yaxuan sang "The Lonely Brave", what did Song ...