Did The EUR/USD Just Flash Crash?