FACT CHECK: Did Robinhood Halt AMC Stock Trading On June 2?