Is that the Seminole Lake just N. of Park Blvd.