Global propagation of air pressure waves and consequent ocean waves due to the January 2022 Hunga Tonga-Hunga Ha'apai eruption. (1st January 2023)