Fathers Day BBQ Pork Pie

Name: Father's Day BBQ Pork Pie
Ingredients: 3 cups all-purpose flour, plus more for dusting; 1 teaspoon fine salt; 1 1/2 sticks (12 tablespoons) very cold unsalted butter, cut into 1-inch cubes; 1/4 cup very cold or frozen vegetable shortening, cut into 1-inch cubes; 6 to 8 tablespoons ice cold water; 1 large egg, beaten; 2 tablespoons ground cumin; 1 tablespoon chili powder; 1 tablespoon dried mustard; 1 tablespoon garlic powder; 1 teaspoon salt; 1/2 teaspoon ground black pepper; 3 pounds baby back ribs; 1 tablespoon olive oil; 3/4 cup finely chopped onions; 3/4 teaspoon chipotle powder; 1/2 cup ketchup; 1/2 cup molasses; 1/4 cup dark brown sugar; 1/4 cup Dijon mustard; 3 tablespoons Worcestershire sauce; 1 baking potato, peeled and shredded (to equal 1 cup); 3/4 cup grated Tex-Mex or sharp Cheddar cheese