Baidu exploring options after U.S. delisting risk