They confronted him at the elevators, and when he reached for his gun, police shot and killed him.

http://www.pokernews.com/news/2014/1...wsop-20032.htm

Knowing the Rio, they won't bother removing the bullet holes from the elevator.