Crewcuts boy’s navy terry shorts, size medium 8-9

Crewcuts boy’s navy terry shorts, size medium 8-9. Good condition, light signs of wear. Son outgrew them, I think they run small since the waistband isn’t that stretchy.