Orchestra of the Royal Opera, Covent Garden