The Copernicus report: «October 2023 was the hottest month ever»