solution to a fun currency arbitrage puzzle from the folks at priceonomics