红豆薏米的红豆是哪种红豆（红豆薏米的红豆是什么豆）