Yes, it existed, but apparently was not particularly popular at that time.
George Stewart, in "American Given Names," reports that "among the [early American] immigrants there were few named
Dorothy," which implies that there were not many, but there were some.