大明湖之名始见于何时，它缘何称名为“大明”湖？