Taekwondo at the 2023 European Games – Men's lightweight