Prins Hendrik-top, Indonesia (peak)