Charred Pork Tenderloin