Nearly 80% of whale sharks in a tourism hotspot have human-caused scars