曹真之马，曹真曾用此马与司马懿打赌。