Gulliver's Son as a Sailor Boy. Costume design for the opera Gulliver