Ceasefire Markets: Definitions, Monitoring and Resolution · Market Guy