Real Pork Tenderloin in Tequila