roast pork shank with pan sauce