The hunt for Osama bin Laden is over