Update Mission: convention.scrbl: Remove definition of zone