20080727 unknown: What is the origin of the term horse trading?