“Temasek's portfolio companies account for approximately 5% of Singapore's GDP.”