. . . . . . "Government-owned insurance company" . .