Orchestra Sinfonica Nazionale della RAI, Giuseppe Verdi, Carmen Buendía, International Opera Choir