1 (16 ounce) package dried navy beans