Johan Santana no-hitter: St. Louis newspaper refuses to recognize it