What happens after the Mueller report is released?