Chorus of De Nederlandse Opera