The Dow Jones Industrial Average makes a record high