Are red beans the same as red kidney beans?

I wanna make some dorayaki at home but I don't know what red beans exactly are, I have only seen Rajma (Kidney Beans) being sold here.

Can I use those to make sweet red bean paste?

bon appetit