Pork Tenderloin in a Creamy Mushroom Sauce