BUT WHAT IS pork shank, REALLY?