A quartic with no real roots