A review of the battle for food in the Barents Sea: cod vs. marine mammals