what are the names of the lakes in the city of australia?
(AND geography.lake (JOIN geography.lake.basin_countries m.0chghy))