Hi all. I’m wondering if anyone knows the name of these shorts? I only have the image so I can’t inspect for a size dot. Anyone recognize them and know what they are called? Thank you!