华蓥市胜天湖是不是原来的天池湖？。