I want to know the answer to the following question:
When did Ken Hoitzman pitch a no-hitter?
All the background I'm provided with is that "Ken Holtzman pitched a no-hitter on August 19, and the division lead grew to 8 1⁄2 games over the St. Louis Cardinals and by 9 1⁄2 games over the New York Mets.". Is that enough to answer the question?
Answer: yes