Thailand’s green mung beans