A Brief Empirical History of U.S. Foreign-Exchange Intervention: 1973-1995