7 things you didn’t know about the biggest trade in NFL history: Herschel Walker to the Vikings