US stocks were mixed on Tuesday, as the blue-chip Dow index jumped to notch a new all-time high close, fueled by optimism that Washington may soon end the record-breaking government shutdown. Tech ...