ETF shares of the Vanguard Real Estate Index Fund