Diamond Jacks naked man

What happened to the man who ran through a local casino naked who also attacked police officers?