Mini Boden blue shark sweatpants

Mini boden blue sweatpants printed with darker blue/gray sharks printed all over. Elastic waistband with a tie, pockets, cuffed ankles. There are few small white marks (paint maybe) on the legs (see photo for detail). Also a few darker spots that could be a stain (haven't tried to remove). Size 11.