Question: Mudvayne's single "Happy?" was the theme song of a PPV event that was held in what city?
{'answer': 'Las Vegas', 'supporting_facts': [['Happy? (Mudvayne song)', 3], ['Vengeance (2005)', 0]]}