Pork Braised in Dark Soy Sauce

Name: Pork Braised in Dark Soy Sauce
Ingredients: 3 tablespoons coriander seeds, toasted and cooled; 5 cups plus 2 tablespoons water; 3/4 cup chopped shallots (3 large); 8 garlic cloves, chopped; 1/4 cup vegetable oil; 1 (3 1/2- to 4-inch) cinnamon stick; 3 tablespoons yellow soybean sauce, mashed with back of a spoon to a coarse paste; 2 tablespoons sugar; 1/2 teaspoon ground cloves; 2 1/2 lb boneless pork shoulder (sometimes called pork butt; in 1 or 2 solid pieces), cut into 1 1/2-inch cubes; 1 tablespoon dark soy sauce; 1 (1 1/4-lb) can sliced bamboo shoots, drained and rinsed; Garnish: 3 (5 1/2-inch) fresh Holland red chiles, halved lengthwise, seeded, and thinly sliced; 1 cup fresh cilantro sprigs; an electric coffee/spice grinder; a mini food processor