Potjo Mandasawu, Indonesia (peak)