NBC: CNN names former New York Times CEO Mark Thompson as its chief