the original terminal operates exclusively domestic flights