It’s official: 13 players with World Cup experience make U.S. roster