Editorial: Omni Dallas Was the Right Bet for Taxpayers