The largest water source for most of the state is water pumped from – , while the rest of the water for the state comes from resources known as:_______