Did Spillovers From Europe Indeed Contribute to the 2010 U.S. Flash Crash?