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