The 15-year search for Ho Ching’s successor at Temasek Holdings