A counterexample to Naimark's problem in ZFC

We construct in ZFC a unital infinite-dimensional simple complex C${}^{\ast }$-algebra with a faithful tracial state whose nonzero irreducible representations are all unitarily equivalent. This gives a negative answer to Naimark's problem without additional set-theoretic assumptions.