Retrieving performances for The Phantom of the Opera at the His Majesty's Theatre in July 2024