Carmen, Metropolitan Opera House Grand Opera Libretto