Wind produced a record 25.9% of electric power in the main Texas grid through May, all but ensuring that it will