3 tablespoons olive oil |||| 1/4 of a large white onion, finely chopped |||| 1/2 cup chopped celery |||| 1/2 of a large green pepper, seeds and membrane removed, finely chopped |||| 1 cup diced pared raw potatoes |||| 2 cups water |||| 1/2 teaspoon paprika |||| 1/2 of a bay leaf |||| 1/2 teaspoon crushed red pepper [...]
