PMI industrial da Coreia do Sul cai para mínima de 8 meses em outubro