AFP: South Korea records highest average summer temperature since records began