"The old carrier ??? People Express ??? operated from Newark, N.J., to cities including Buffalo, Columbus, Norfolk and West Palm Beach, until Texas Air Corp. acquired it and merged its operations into its subsidiary Continental Airlines." . . . .