What's the expected WDC share price after the capital distribution on 13/12/2010 and it commences trading on this date?