Garrison Lake Pump District (Smyrna, DE): what EPA records show