US official: SEAL team in rescue also killed Osama