Thai exports: where’s the baht bounce?