Lost pair of medium-sized blue Nike swim shorts with a small side pocket at the community pool in Orlando.

I lost my favorite pair of blue Nike swim shorts while I was at the community pool in Orlando last Saturday. They have a small pocket on the side and are size medium. I remember taking them off to dry off after a swim and accidentally leaving them behind. If anyone finds them, I would appreciate it if you could let me know!