Navy Nike swim shorts, size M

I lost my navy blue Nike swim shorts, size M, this afternoon around 3pm outside the Visalia Public Library on Main Street. They have a bright lime-green drawstring and a tiny embroidered shark on the right leg. There's a faint bleach stain on the left hem from a pool cleanup, and the fabric shows some wear from daily swims. They were a gift from my sister, so they mean a lot to me and I really need them back. If anyone found them, please reach out—I'm happy to meet near the library or by the pool to pick them up.