If Raúl Castro has been formally charged with a federal crime after Issuance and before Jan 1, 2027, then the market resolves to Yes.