Elevation data source for a lake

Im asking for the data source of elevations of a lake in Mexico, the attached image has the cordinates. I have search for some sources like The National Map, SRTM, etc.. but I havent found a high resolution data source as the other attachment that im sending. So I want someone to help me and tell me where I can download the elevations data for the lake so I can work to make a map. I need the elevations as if there is no water.