England didn’t choke at Euro 2024; it was simply beaten by a better Spain team. That doesn’t make it hurt any less.