20140713 world.rest-of-world: Gunman attack diving resort on Malaysia's Borneo island