East Timor’s presidential election won by Jose Ramos-Horta