Mario initially formed on Sept. 12, but by the next day, the hurricane center reported Mario was no longer a tropical storm. By the afternoon of Sept. 14, the storm had regenerated off Mexico.

But fans may not have to wait long for another face-off, as the two arch-rivals could meet again on September 21. The final equation will be clear after Pakistan’s next group-stage match on September ...