A choir was performing at the opera house amid the music.