Legal Challenges in Washington's Air Traffic Control System