Solar PV and wind combined to generate a record 20% of electric power in the main Texas grid in July, as both