International Visitors to the U.S. Spent Record $13.9 billion in May, Helping Support U.S. Jobs