How would an exchange enforce the trade through rule without any outside market data?