Henrique De Castro, Yahoo’s chief operating officer, is leaving the company on January 16,according to a regulatory filing. It had long been rumored that De Castro, whom CEO Marissa Mayer had brought on from Google, would be departing. De Castro had been hired to take the lead in the company’s advertising business, having been given credit by some for building Google’s display ad biz.