Gas Grilling Pork Tenderloin