Jomo Kenyatta International Airport’s international arrivals terminus.