Grilled pork tenderloin with a creamy mushroom sauce