Tender pork tenderloins are seasoned and cut in medallions, then seared on all sides. Then mushrooms are cooked to make a ...