Moreover, it’s generally accepted as a standard part of economics that the market only ever begins to fix things (be efficient) when property rights are enforce

Moreover, it’s generally accepted as a standard part of economics that the market only ever begins to fix things (be efficient) when property rights are enforced, barriers to entry are few, and transaction costs are low. It’s not clear that “aviation” manages more than about one of those items.