Day 1 of the World Judo Championships – Doha 2023