Orcas are picky eaters, especially the ones that feed on fish like the Gibraltar orcas. There have been an enormous number of human-orca interactions both in the wild and in captivity, and even in the only known attacks on humans- the Sea World attacks- no orca has ever eaten a human. The likelihood that the fish-eating Gibraltar orcas are attempting to eat people is extremely low, IMO. It's much more likely an attempt to simply kill due to stress, like the Sea World orca attacks.