ETF trading and short selling