“Washington Irving”