20010724 unknown: Colombo-bound flights diverted