Washington Nationals vs. Colorado Rockies: Tied after 5 innings?

In the upcoming MLB game between the Washington Nationals and Colorado Rockies, scheduled for July 20 at 8:40 PM ET: This market will resolve to "Washington Nationals" if the Washington Nationals is winning the game at the conclusion of the 5th inning. This market will resolve to "Colorado Rockies" if the Colorado Rockies is winning the game at the conclusion of the 5th inning. If the game is tied at the conclusion of the 5th inning, this market will resolve to "Draw". If the game is postponed, this market will remain open until the 5th inning has been completed. If the game is canceled entirely, with no make-up game, this market will resolve 50-50. To know when a postponed game will be played, please check the home team's schedule on MLB.com for the listed team and look for the game described as a makeup game. The primary resolution source for this market is the official final statistics of the event as recognized by the governing body or event organizers. However, if the governing body or event organizers have not published final match statistics within 24 hours after the event's conclusion, a consensus of credible reporting may be used instead.