Orchestra of the Royal Opera House, Covent Garden