How much water must be added to 200 gallons of mixture which is 80 percent alcohol to reduce it to a 75 percent mixture?