2023 European Diving Championships – men's 10 metre platform