Lost black and red Nike swim trunks, size medium with a small side pocket, at the community pool in Muncie.

I lost my black and red Nike swim trunks while at the community pool in Muncie. I was there with my kids, and I must have accidentally left them on the bench when we went to grab some snacks. They have a small pocket on the side, and they're size medium. If anyone has seen them, I would really appreciate getting them back!