Jamie Benn on Stars’ disappointing OT loss