Gunung Pantjar, Indonesia (mountain)