What Trump would have to do to fire Mueller