Hoan Kiem, Danau Tengah Kota Hanoi