Sources: Ravens to release or trade Thomas