‘Lee Teng Hui’ has died at the age of 97 on 30 July 2020 was the former president of which country?