Should more ethanol be added to gasoline?