On an island in Hoan Kiem Lake