Temasek Holdings says CEO Ho Ching to retire from October 1