Productions linked to The Daughter of the Regiment - Royal Opera House (2019) . 17