Home Economy Philippines’ manufacturing PMI shrinks in October