“Temasek's portfolio of operating companies generates approximately 150 billion US dollars in combined annual revenues.”