Hồ Hoàn Kiếm còn có tên gọi khác là gì

HO HOAN KIEM DUOC CO TEN GOI KHAC LA GI..............