Yep, my best mates were there. There were two people that jumped in before the guy, they both said they managed to touch some rock at the bottom of the pool. The guy jumped in and didn't come up after 30 seconds later. Ambulance was called and everybody jumped in searching for him but the water was black and it took about half an hour. Nobody there seemed to know who he was either.
Sorry for going off topic, condolences to his family and friends