Thaw shrimp, if frozen; cut in half lengthwise. Cook beans, covered in small amount of boiling salted water for about 10 minutes or till crisp-tender; drain. In 10-inch skillet cook onion in hot oil till tender, but not brown. Stir in drained beans, shrimp, tomato sauce, salt, coriander, cinnamon, cumin, and pepper.