How many helicopter were to be provided by the civil aviation industry?