Shelah–Hasson conjecture for strongly NIP ordered fields

Let $F$ be a strongly NIP ordered field. Such a field is almost real closed if it admits a henselian valuation whose residue field is real closed. Shelah–Hasson conjecture for ordered fields. Every strongly NIP ordered field is almost real closed. Equivalently, every strongly NIP ordered field that is not real closed admits a non-trivial $\mathcal{L}_{\mathrm{or}}$-definable henselian valuation, where $\mathcal{L}_{\mathrm{or}}$ is the language of ordered rings. This is known for dp-minimal ordered fields, but remains open for general strongly NIP ordered fields.