Sometimes after I execute a query in DolphinDB database, I realize that the query scans the entire database and would take an extremely long time to finish. Is there a way I can terminate a running query in DolphinDB without closing the session? I can't find the answer in the user manual.