Koor van de Nederlandse Opera