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