Cooking dried navy beans