Foreign Exchange Intervention: A Dataset of Public Data and Proxies · Study