How many pitches did Harvey Haddix throw in his no - hit game?