STRAITS TIMES INDEX        20 Jul 2019