Martínez lamenta deixar Ricardo Horta fora do Euro'2024: «É um jogador de sonho para qualquer treinador»