3 1/2 pounds        beef short ribs
1     tablespoon    vegetable oil
1     large         onion
1     cup           water
1     cup           tomato ketchup
1/3   cup           red wine vinegar
1     tablespoon    paprika
1     teaspoon      curry powder
1/2   teaspoon      chili powder
1/2   teaspoon      dry mustard
2     teaspoons     salt
4     medium        potatoes
4     medium        carrots
1     tablespoon    cornstarch
1/4   cup           water