20190710 sports.cricket.icc-world-cup.teams.new-zealand.news: ICC World Cup 2019: What happens if semis or final is washed out?