Did the US stock market get scared by our sixth-generation fighter?