Mug shots and public pics join the dots of whale sharks’ Southeast Asian trips