What kind of bean? Don’t most varieties we eat today come from the Americas?