A 29-year-old man and a 4-year-old boy died after a distress call at Catfish Cove in Lake Corpus Christi State Park.

According to Texas Parks and Wildlife Department officials, on Nov. 3, Texas State Park Police and Texas Game Wardens responded to a call of five swimmers in distress.

Three of the swimmers were rescued from the water, but the 29-year-old and the 4-year-old were not found.

San Patricio County Sheriff Oscar Rivera posted on Facebook saying the 29-year-old man’s body was found on Nov. 4.

Another publication by Rivera indicates that the body of the four-year-old boy was found on Monday, November 5.

At this time, it is unknown what prompted the group’s distress call at the lake.

“Our thoughts are with the victims’ family and friends during this difficult time,” a TPWD official said.