Legal Duties of Air Traffic Controllers in Florida