Fresh Cherry Pie

Ingredients (9)

• + 2 cups all-purpose flour add to pantry
• + 1 cup shortening add to pantry
• ✓ ¼ cup cold water, or as needed
• + 1 pinch salt add to pantry
• + 2 pounds fresh Bing cherries, pitted add to pantry
• + 1 cup white sugar add to pantry
• ✓ 2 tablespoons tapioca flour
• + 1 teaspoon vanilla extract add to pantry
• + 1 teaspoon butter add to pantry