Is the NFL's national anthem policy a good compromise?