A social media post promoting a performance by Dutch DJ Armin Van Buuren in Jeddah later this year was part of a leaked document that appears to have been a tentative proposal for an event.