Highly localised Javan endemic decreasing as coastal mangroves get turned into shrimp ponds Birdtour Asia 2008 Indonesian reports