football at the 2023 African Games – men's tournament