Population of world’s rarest giant turtle rises to 4 with new discovery