Residency and trophic ecology of juvenile whale sharks (Rhincodon typus) in the Western Indian Ocean