I can't speak for Trek, but manufacturers often mix tubes. Advertising Columbus sold, but mixing in a fine, but cheaper, no-name steerer is within the realm of the possible.
Sort of like my old Trek 2300. Campy Veloce throughout, except for a cheaper Sachs bottom bracket with plastic end caps.