Makes 20 tamales INGREDIENTS For the red chili pork 2 cups water 1 medium tomato, chopped medium 1 red chile, torn into pieces 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…