TRAVIS COUNTY, Texas (KXAN) — A missing swimmer at Devil’s Cove on Lake Travis has not been found after an “extensive search” Saturday, Austin-Travis County EMS said in a tweet. The incident has transitioned from rescue into recovery.

Devil’s Cove will remain closed Sunday morning for ongoing recovery efforts, according to Jonestown Police.

ATCEMS said Saturday that rescue swimmers and boats with sonar-scanning capabilities were looking for the person.

Medics and multiple fire departments responded to the call around 5:20 p.m. Saturday, ATCEMS said.