Pork Medallions Smothered in a Mushroom and Shallot Gravy

I had a pork tenderloin and some cremini mushrooms in the refrigerator that needed to be cooked so I decided to combine the two to make this dish. I cut the tenderloin into medallions and simply seasoned them with sea salt, freshly cracked pepper, and garlic powder then cooked them in a bit of olive oil. I made a gravy in the same pan with a bit of butter, mushrooms, shallots, and chicken stock.