Benito Juárez, Mexico City mayoral election winner?

In 2027 If the candidate of the registered coalition that includes X wins the 2027 Benito Juárez borough mayoral election, then the market resolves to Yes. X candidate's coalition is the coalition or candidatura común that registered the candidate with the Instituto Electoral de la Ciudad de México, and a party running alone is a coalition of one. Coalition membership is fixed at registration; later changes do not move a candidate. X coalition that includes more than one of PAN, Morena and MC c