. . "Government-owned airline" . . . .