Cuban pork tenderloin