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