U.S. Manufacturing PMI revised lower in October's final print