a passenger terminal is for selling tickets