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