Implications of Bin Laden's Death for Indonesia