World Cup: Costa Rica sets up Dutch quarterfinal