Pork Tenderloin with Currant Sauce