which lake has a surface elevation measured at 2543.0?
(AND geography.lake (JOIN geography.lake.surface_elevation 2543.0^^http://www.w3.org/2001/XMLSchema#float))