Beef shank with mashed potatoes, toasted cherry tomatoes and shank sauce