Who Should Get Credit for Bin Laden Op?