US stocks end day mixed while Dow hits record high