Real Grilled Tenderloin of Pork