Osama bin Laden is dead.