The Location of U.S. Currency: How Much Is Abroad?