12,000 musicians: Is this the world's biggest orchestra performance?