Cook portobello mushroom pork tenderloin