Ha Noi: Hoan-Kiem-See, der See des zurückgegebenen Schwertes