I want to know the answer to the following question:
How many airlines use Tribhuvan International for international flights?
All the background I'm provided with is that "Operated by the Civil Aviation Authority of Nepal it has two terminals, one domestic and one international.". Is that enough to answer the question?