Lavon Lake is a freshwater reservoir located in southeast Collin County, Texas, on the East Fork of the Trinity River near Wylie, off State Highway 78. From Wikipedia
Collin County Sheriff’s Office said the search wrapped up after two days with Bratonia Park closed pending investigation.