Sec. 35.40.130. Ted Stevens Anchorage Internati...
The state-owned and state-operated international airport at Anchorage is named the Ted Stevens Anchorage International Airport.