if this game is official after the top of the 5th, is that credited as a no hitter? Assuming he gets out of the jam...