Singapore has a new President.