The henselian residue-field conjecture for distal fields

Let $K$ be a field. A structure is distal if it has the model-theoretic distality property. Henselian residue-field conjecture. Suppose $K$ has a distal expansion; then $K$ has a henselian valuation ring whose residue field is algebraically closed of characteristic zero, real closed, or finite. The conjecture is motivated by the preceding theorem, and the source gives no resolution.