Lost men's blue swim trunks with colorful tropical print and right side pocket at Lake Fayetteville.

I lost my favorite pair of men's swim trunks while at Lake Fayetteville last weekend. They are blue with a colorful tropical print, size medium, and they have a small pocket on the right side. I remember taking them off before diving into the water, but somehow I couldn't find them when I came back to my stuff. I'm hoping someone picked them up and may have seen this post!