A number field $K$ is said to have a power basis if there is an $\alpha \in K$ such that the full ring of integers $O_K$ is the $\mathbb{Z}$-linear span of $1,\alpha,\alpha^2,\ldots,\alpha^{\deg{K}-1}$. In other words, $O_K = \mathbb{Z}[\alpha]$; another term for this is monogenic. This happens for example for the quadratic and the cyclotomic fields. The monogenic number fields are presumably very rare; results of Bhargava imply that they are a negligible fraction (zero density) among the number fields of degree $3, 4$, or $5$, and this is conjectured to hold in every fixed degree $d > 2$.

It is easily seen that totally $p$-adic number fields of degree $d$ are never monogenic for $d \gg p$. (To illustrate this, consider that the split primes in the cyclotomic field of level $N$ are the ones $\equiv 1 \mod{N}$; so they are in particular $> N > \phi(N)$.)

Question. Are there monogenic totally real number fields of arbitrarily high degree?

To put it differently: for totally real algebraic integers of arbitrarily high degree, may the ring $\mathbb{Z}[\alpha]$ be integrally closed?

Dummit and Kisilevsky [Indices in cyclic cubic fields, in "Number Theory and Algebra," 1977] have shown that infinitely many totally real cubic fields have a power basis. There exist totally real monogenic sextic fields; an example, taken at will from page 116 of [I. Gaal, Diophantine Equations and Power Integral Bases: New Computational Methods] is the field generated by a root of $$ X^6 - 5X^5 +2X^4 +18X^3 - 11X^2 -19X+1. $$ Are there examples of higher degree?