Javier, Astros pitch second no-hitter in World Series history