SEAL team in Somalia rescue also killed Osama