Orchestra of the Royal Opera, Covent Garden, ...