Laser photogrammetry improves size and demographic estimates for whale sharks