Fotboll, Costa Rica: Recopa de Costa Rica 2023 lottning