RIP Christopher Rios known professionally as Big Pun.