Was the Bank Holiday of 1933 Caused by a Run on the Dollar?