NBC: Nobel laureate Jose Ramos-Horta set to be president of East Timor