Red Wine-Braised Beef Shanks with Mushrooms and Basil Mashed Potatoes.