This proposal has not so far been acted upon, but it would seem to make little difference whether one digs them out or not: haven't the subsided areas become "artificial lakes" already? It's just that like Lake Qinghai in mainland China, they are salt lakes!
雖然建議尚未付諸實施，但挖不挖人工湖，也沒兩樣，下陷區早就像個「人工湖」了，只不過和大陸青海一樣，是個鹹水湖罷了！