South Korea revised second-quarter GDP down 3.2%, ticks up from advanced estimates