Hull and wash the strawberries, and drain well. Cook sugar, water, cornstarch, and ½ cup crushed berries until thick and clear. Add butter, and food coloring, if desired, to make a bright red glaze. Fill the cooled pie shell with remaining whole berries, saving 4 or 5 of the largest berries to use as a garnish. Pour cooked sauce over berries in pie shell and refrigerate until ready to serve. (The glaze thickens as it cools.) Garnish pie with whipped cream and large berries.