$NIO anybody know when xpeng p7 and Lixiang will list in the US stock market? I heard xpeng will be listing on 7/31 someone correct me plz