Grill a whole pork tenderloin