Crescimento da indústria na Zona Euro desacelera em outubro, mas continua sólido, segundo o PMI