Ex vice primer ministro Shanmugaratnam, elegido presidente de Singapur