South Korea: Exports Grew Solidly In July While The Manufacturing PMI Moderated