Tharman Shanmugaratnam: Singapore picks a president who could've been much more