Cowboys officially lose 31-year-old starting edge rusher to Seahawks |