ProShares will launch ETF aimed at shorting Bitcoin following dip under $20K