are navy beans called something else?
The navy bean, haricot, pearl haricot bean, boston bean, white pea bean, or pea bean, is a variety of the common bean (Phaseolus vulgaris) native to the Americas, where it was domesticated. It is a dry white bean that is smaller than many other types of white beans, and has an oval, slightly flattened shape.