Passage: After Mutual's appeals were rejected by the FCC, RCA filed its own appeal to overturn the divestiture order. However, in 1941, the company decided to sell NBC Blue in the event its appeal was denied. The Blue Network was formally named NBC Blue Network, Inc. and NBC Red became NBC Red Network, Inc. for corporate purposes. Both networks formally divorced their operations on January 8, 1942, with the Blue Network being referred to on-air as either "Blue" or "Blue Network", and Blue Network Company, Inc. serving as its official corporate name. NBC Red, meanwhile, became known on-air as simply "NBC". Investment firm Dillon, Read & Co. placed a $7.5 million bid for NBC Blue, an offer that was rejected by NBC executive Mark Woods and RCA president David Sarnoff.

Question: What did NBC Red become known as?
NBC Red Network, Inc