Movement, Behavior, and Habitat Use of Whale Sharks (Rhincodon typus) in the Tropical Eastern Pacific Ocean