NFL Backs Down Quietly in Trademark Battle With Barstool Sports