Harissa Lamb Shanks with Mashed Potatoes (For One)