The Mueller investigation ended when Barr took office — because there was no point in continuing