Prey species richness and secondary forest among the key factors shaping Javan leopard distribution | Synapse