marawi city is the home to what lake?
(AND geography.lake (JOIN geography.lake.cities m.03k9cb))