Pork Braised with Chilies

Name: Pork Braised with Chilies
Ingredients: 4 lbs boneless pork shoulder; 1 head of garlic; 2 medium yellow onions, sliced; 2 cups crushed tomatoes in their juice, fresh or canned; 2 tablespoon cumin seeds; 2 bay leaves; 8 dried chilies (Guajilo, New Mexico, Anaheim, or ancho, stemmed, seeded, and rinsed); 1 tablespoon smoked paprika; 2 to 3 cups lager or pilsner beer; 1/2 cup coarsely chopped cilantro