Gravar-mail: Regional movements of satellite‐tagged whale sharks Rhincodon typus in the Gulf of Aden