Killer whales / orcas (Orcinus orca) and divers, Troms, Norway. November.