Management of the Antarctic krill fishery