For small water bodies like this, I'm never sure whether pond or lake is appropriate. See the wiki: https://wiki.openstreetmap.org/wiki/Tag:water%3Dpond - suggests that for naturally occurring water, lake is better. But I would call this a pond casually, looking at it in person.