Yes, it existed, but apparently was not particularly popular at that time. GeorgeStewart, 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.