Where to find these shorts?

I saw these shorts on this guy that had little alligators all over the shorts and they were blue. I looked on the Lacoste website but they had no alligator shorts. Where can I find them?