Doorman Peak, Indonesia (peak)