All of the following would add to the demand for U.S. dollars except foreign travel by United States citizens.