Question: Are Riverside Canal and Lake Washington Ship Canal both in the United States?
Sentence (from "Riverside Canal (El Paso)"): The Riverside Canal is an irrigation canal in El Paso County beginning southeast of El Paso, Texas.
Relevant evidence: Yes