Royal Opera House 2023/24: Don Quixote