9 dead as militants attack Philippine tourist island