Singapore’s manufacturing output grows 16.9% in October after decline in previous month