Lost medium-sized blue Nike swim shorts with a small side pocket at Ithaca community pool.

I lost my blue Nike swim shorts while at the Ithaca community pool last Saturday. I noticed they were missing right after I finished swimming and changed out of my wet gear. They have a small pocket on the side and are size medium. If found, I'd love to get them back!