Derangements in permutation groups with two orbits

A classical theorem of Jordan asserts that if a group $G$ acts transitively on a finite set of size at least $2$, then $G$ contains a derangement (a fixed-point free element). Generalisations of Jordan’s theorem have been studied extensively, due in part to their applications in graph theory, number theory and topology. We address a generalisation conjectured recently by Ellis and Harper, which says that if $G$ has exactly two orbits and those orbits have equal length $n\ge 2$, then $G$ contains a derangement. We prove this conjecture in the case where $n$ is a product of two primes, and verify it computationally for $n\le 30$.