Triangular arbitrage and negative auto-correlation of foreign exchange rates