South Korea records its highest-ever temperature of 42.5°C