Braised and Roasted Pork Shanks With Prosciutto and Porcini Mushrooms