Thai October exports drop 6.7% year on year, slightly bigger than forecast