Killer whales / orcas (Orcinus orca) porpoising, Norway. November.