So when Trump fires Mueller