Grilling a pork tenderloin roast