以前有个石狮最早的游泳池，现在已成了公园。