What goes with pork tenderloin