Should there be designated hitters in baseball?