The path to bin Laden’s death didn’t start with Obama