I don't think this is correct either. The USB C port has to support DP Alt Mode, which not all do, but it doesn't have to be a Thunderbolt port.

More than anything this probably highlights what a mess the standards are.