Ho Ching to step down on Oct 1 as Temasek Holdings CEO and executive director