Carefully transfer shanks with a slotted spoon to a clean plate and keep warm, loosely covered with foil. Skim fat from sauce, then simmer, uncovered, on top of stove, stirring occasionally, until slightly thickened, about 15 minutes. Season sauce with salt and pepper and add shanks, then cook over low heat until heated through. (Discard strings and bay leaf before serving.)