Empanadas

Ingredients

• 1 tablespoon olive oil
• 1 small onion, finely chopped
• 2 cloves garlic, minced
• 500g (1 lb) ground beef
• 1 teaspoon ground cumin
• 1/2 teaspoon smoked paprika
• 1/2 cup beef stock or water
• 2 tablespoons tomato paste
• Salt
• pepper
• 1/2 cup green olives, chopped
• 2 hard-boiled eggs, chopped
• 2 1/2 cups all-purpose flour
• 1/2 teaspoon salt
• 1/2 cup unsalted butter, cold and cut into cubes
• 1 egg
• 1/3 cup ice water