“Denver International Airport (DEN) accounts for 10% of Colorado's annual Gross Domestic Product (GDP).”