A Korean men's troupe, performing on stage, singing and dancing, cheered them.