Caribbean Pork Tenderloin