Catching up with a whale shark in Baja