Question: In which Florida county is El Rio del Tiempo located?
Sentence (from "Lake Buena Vista, Florida"): Lake Buena Vista is a city in Orange County, Florida, United States.
Relevant evidence: Yes