Productions linked to Carmen - Royal Opera House (2018) . 114