Pork Tenderloin With Raspberry Sauce with meat

1 1/2 lbs pork tenderloin (about 2 whole tenderloins) 2/3 cup water 1/4 cup raspberry vinegar 1/3 cup sugar 1 cup fresh mint leaves 2 tablespoons snipped[...]

1/2 cup softened butter 2 tablespoons frozen orange juice concentrate 1 tablespoon orange zest 1 1/2 tablespoons fresh rosemary , finely chopped (or 2 tsps[...]

2 lbs pork tenderloin 3 tablespoons butter 2/3 cup white wine 1/2 cup seedless raspberry preserves 2 tablespoons grainy mustard 2 tablespoons shallots ,[...]