Mushroom and Okra Curry

Name: Mushroom and Okra Curry
Ingredients: 4 garlic cloves, peeled and roughly chopped; 1 inch piece fresh gingerroot, peeled and roughly chopped; 2 fresh red chilies, seeded and chopped; 3/4 cup cold water; 1 tablespoon vegetable oil; 1 teaspoon coriander seed; 1 teaspoon cumin seed; 1 teaspoon ground cumin; 2 green cardamom pods; 1/8 teaspoon ground turmeric; 1 (14 ounce) can peeled and chopped tomatoes; 1 lb mushroom, halved (or quartered, if large); 8 ounces okra, washed, dried and trimmed; 2 tablespoons chopped fresh cilantro