An explicit counterexample to the Lagarias-Wang finiteness conjecture