A good industrial policy endows competitive industries, not national champions.