Pork Tenderloin with Pan Sauce