What is a "small red bean"?

I was reading about the antioxidant capacity of different types of beans. The highest rated was the "small red bean". By "small red bean" do they mean adzuki beans or what?