Ho Ching to retire as Temasek Holdings CEO on 1 Oct