On the existence of optimal truth-dominant mechanisms