Nairobi stock exchange: Kenya Airways shares trade again after four-year hiatus