Benton City WSC (Medina County, TX): what EPA records show