Marinated Pork Tenderloins