'We can be proud of what we've done'June 17: Mick McCarthy's players are filled not just with disappointment, but with pride, too, as they leave the World Cup undefeated, save for this penalty shoot-out