Whale sharks increase swimming effort while filter feeding, but appear to maintain high foraging efficiencies