Trading is mixed on Wall Street as Dow inches up to another record high

Wall Street notched another record high Tuesday, even as major stock indexes barely budged after a listless day of trading.