what is the lake that has a catchment area of 1530.0?
(AND geography.lake (JOIN geography.lake.catchment_area 1530.0^^http://www.w3.org/2001/XMLSchema#float))