[smoore]

From the rules, it appears that player 1 does indeed have to show his cards. However, on pokerstars if player 1 loses he does not have to show his cards. I guess we need a Tournament Director to answer this one for us.