Thailand’s red beans (red kidney beans)