Meat Pie

Name: Meat Pie
Prep time: 1 h
Cook time: 2 h
Total time: 2 h
Yield: 6 portions
Ingredients: 14 oz all-purpose flour; 3 ½ oz unsalted butter; 3 ½ oz vegetable shortening; ¼ tsp salt; 3 ½ oz cold water; 14 oz russet potatoes; cold water; 1 oz olive oil; 9 oz yellow onions; 3 garlic cloves; 3 tsp salt; 14 oz ground pork; 14 oz ground beef; 2 ½ tbsp Worcestershire sauce; 1 tsp dried sage; 1 tsp dried savory; 1 tsp dried thyme; ¼ tsp ground allspice; ¼ tsp ground cloves; ¼ tsp ground nutmeg; ½ tsp mustard powder; ½ tsp ground white pepper; non-stick cooking spray; 1 large egg; ketchup