Mueller: ‘Charging the president with a crime’ was not an option