Peter Ho, Head of Civil Service, Singapore