He likely wasn’t responsible for shortening it, Washington post did it automatically when sharing the article. Everything does this nowadays Google maps adds trackers to the url when sharing as well. I agree it’s annoying but not many good ways around it.