Instant Pot Mini (3qt) Osso Buco with Mashed Potato and Gremolata | Dinner for Two | Beef Shank