Planning for the bin Laden raid