Pork Tenderloin With Red Mole