A space is extremally disconnected if the closure of every open set is open. I was wondering if there is a ordered space that is extremally disconnected but not discrete.
Currently there is no such example in $\pi$-base. Note that by this question, such space must be sequentially discrete, and hence non-sequential. Also, changing LOTS to the weaker condition $T_5$ results in a single example called the single ultrafilter topology. Any help appreciated for constructing/disproving the existence of such a space.
Edit. Inspired by the existing answer I can now construct a sequentially discrete LOTS that is not discrete:
Consider $X = (\omega_1\times\mathbb{Z})\cup\{\infty\}$, with lexicographical order on $\omega_1\times\mathbb{Z}$ and that $\infty$ is larger than any other element. Every point other than $\infty$ is an isolated point because $\omega_1\times\mathbb{Z}$ is discrete, but $\infty$ is not isolated since there is no largest element in $\omega_1\times\mathbb{Z}$. On the other hand, $\{\infty\}$ is sequentially open, which is to say there is no sequence in $\omega_1\times\mathbb{Z}$ converging to $\infty$: For every $((a_n,b_n))_{n\in\omega}\in\omega_1\times\mathbb{Z}$, the sequence $(a_n)_{n\in\omega}$ is bounded above by some $\alpha\in\omega_1$, so $((a_n,b_n))_{n\in\omega}$ is bounded above by $(\alpha+1,0)$.
Edit 2. The proof in the answer generalizes easily to GO-spaces (generalized ordered spaces). A GO-space is a topological space $X$ with topology $\tau$ together with a linear order $<$ such that $X$ is $T_1$ and every point has a local base of $\tau$-open neighborhoods consisting of order-convex sets.
Suppose that $x$ is not an isolated point, then $(\leftarrow,x)\cup(x,\rightarrow)$ is dense, so $x\in\overline{(\leftarrow,x)}$ or $x\in\overline{(x,\rightarrow)}$, then $x$ lies in the closure of every cofinal subset of $(\leftarrow,x)$ or $(x,\rightarrow)$ by order-convexity of local base elements of $x$: If $U$ is an order-convex open neighborhood of $x$, then $y\in U\cap(\leftarrow,x)$ (resp. $y\in U\cap(x,\rightarrow)$) implies that $U$ contains every element $\ge y$ (resp. $\le y$) of the cofinal subset. The rest of the proof remains the same.