( pr ångaren “ Hipjarchus " ).