Javan leopard sighting raises hopes for rare big cat

Four Javan leopards have been spotted in an Indonesian national park where they were previously thought to have died out, raising hopes for the future of the rare big cat.