20190710 india: ICC World Cup 2019: What happens if semis or final is washed out?