Cuban mojo is a tangy, pungent garlic-citrus mixture that’s often used as a marinade for pork as well as a sauce. We use it to balance the richness of tender, shredded pork in these flavorful tacos. A pressure cooker helps us keep the cooking time weeknight-appropriate. Sour Seville oranges are used in authentic mojo; to mimic their flavor, we combined regular orange juice and lime juice, as well as their zests for fragrance. Though mojo is not typically smoky or spicy, we liked the complexity that smoked paprika and chipotle chili added. For more heat, use hot smoked paprika or an additional chipotle chili. Start timing the pork once it has come to high pressure. If you prefer, instead of making tacos, serve the pork over rice with sliced oranges and avocado.