Makes 20 tamales Ingredients For the red chili pork 10 small red dried chilies 2 cups water 1 medium tomato, chopped medium 1 medium yellow onion, chopped medium 3 cloves garlic, chopped fine 1 tablespoon ground cumin 1 tablespoon cumin seeds, toasted 1 pound pork butt 1 teaspoon salt 1 fresh bay leaf 2 tablespoons…