Risk to the Indo-Pacific Ocean whale shark population from interactions with Pacific Ocean purse-seine fisheries Rev 2 (22 July 2018)