What're these shorts I keep seeing outside called? Are they like a modified version of dolphin shorts?