baidu—a Chinese technology company best known for its web search engine