Gunung Gadjah, Indonesia (peak)