Vegetable ID?

I was visiting Thailand last year and was served this veggie which I had never seen before, does anybody know what it is? Thanks in advance!