Red Nike swim shorts, men's medium

I lost my red Nike swim shorts yesterday around 3pm at the Brownsville Community Pool on Palm Street, near the riverfront pavilion. They're men's medium, quick-dry fabric, with a white side stripe and a black drawstring that tends to stick when the pool gets windy. There's a small blue initials 'AL' embroidered on the inside waistband, plus a faint sunscreen stain along the right leg. This pair is my go-to for summer workouts and has sentimental value because it was a gift from my coach last year. If anyone found them around the bleachers or near the lockers, I’d really appreciate getting them back.