 I mean, as you said, this was just an enormous disappointment. I mean, taking a step back here, as you know, the U.S. men traditionally just haven't been that competitive internationally, but the team had improved a lot in recent years. They're currently ranked number 11 in the world. There are big hopes for the 2026 World Cup.