was. I have never looked into the matter enough to know that.
After some further conversation which was of an unimportant character, Marshal Dyer retired.